21. Analytical and stochastic modeling techniques and application
Author: / Khalid Al-Begain, Dieter Fiems, William J. Knottenbelt (eds.
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Computer networks, Mathematical models, Congresses,Stochastic processes, Congresses,Stochastic models, Congresses,Electronic books., local
Classification :
TK5105
.
5
.
I58
2010
22. Applied reconfigurable computing : architectures, tools, and applications :
Author: edited by Nikolaos Voros, Michael Huebner, Georgios Keramidas, Diana Goehringer, Christos Antonopoulos, Pedro C. Diniz.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Adaptive computing systems, Congresses.,Computer architecture, Congresses.,Adaptive computing systems.,Artificial intelligence.,Computer architecture.,Computer hardware.,Computer networking & communications.,Computers-- Computer Graphics.,Computers-- Hardware-- General.,Computers-- Intelligence (AI) & Semantics.,Computers-- Software Development & Engineering-- General.,Image processing.,Software Engineering.
Classification :
QA76
.
9
.
A3
23. Architecting critical systems
Author: / Holger Giese (ed.
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Fault-tolerant computing, Congresses,Computer architecture, Congresses,System design, Congresses,Software engineering, Congresses
Classification :
QA76
.
9
.
F38I83
2010
24. Automated technology for verification and analysis :
Author: Dang Van Hung, Mizuhito Ogawa (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses,Automatic theorem proving, Congresses
Classification :
QA76
.
9
.
A96
A88
2013
25. Automated technology for verification and analysis :
Author: Shuvendu K. Lahiri, Chao Wang (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses.,Automatic theorem proving, Congresses.,3D graphics & modelling.,Artificial intelligence.,Automatic theorem proving.,Computer programming-- software development.,Computer security.,Computers-- Computer Simulation.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Security-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
Classification :
QA76
.
9
.
A96
26. Autonomic and trusted computin
Author: / Chunming Rong ... [et al.] (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Autonomic computing--Congresses,Computer security--Congresses,Computer networks--Security measures--Congresses
28. Certification and security in inter-organizational E-services :
Author: edited by Enrico Nardelli, Maurizio Talamo.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Business-- Data processing-- Security measures, Congresses.,Computer security, Congresses.,Business-- Data processing-- Security measures.,Computer Science.,Computer security.,Electrical & Computer Engineering.,Engineering & Applied Sciences.,Informatique.,Telecommunications.
Classification :
QA76
.
9
.
A25
I462
2005
29. Cognitive Informatics and Soft Computing :
Author: Pradeep Kumar Mallick, Valentina Emilia Balas, Akash Kumar Bhoi, Ahmed F. Zobaa, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computational intelligence, Congresses.,Soft computing, Congresses.,Computational intelligence.,COMPUTERS-- General.,Soft computing.
Classification :
Q342
30. Collaborative computing :
Author: Imed Romdhani, Lei Shu, Hara Takahiro, Zhangbing Zhou, Timothy Gordon, Deze Zeng (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer networks, Congresses.,Electronic data processing-- Distributed processing, Congresses.,Multimedia systems, Congresses.,Online social networks, Congresses.,Artificial Intelligence.,Computer Systems Organization and Communication Networks.,Information Storage and Retrieval.,Information Systems and Communication Service.,Computer networking & communications.,Computer networks.,Computers-- Computer Science.,Computers-- Hardware-- General.,Computers-- Online Services-- General.,Computers-- System Administration-- Storage & Retrieval.,Electronic data processing-- Distributed processing.,Information retrieval.,Multimedia systems.,Online social networks.,Program concepts-- learning to program.
Classification :
TK5105
.
5
31. Computational science and its applications -- ICCSA 2014 :
Author: Beniamino Murgante...[and 8 more] (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer networks, Congresses,Computer science, Congresses,Computer software, Congresses,Software engineering, Congresses
Classification :
QA75
.
5
32. Computational science and its applications -- ICCSA 2019 :
Author: Sanjay Misra, Osvaldo Gervasi, Beniamino Murgante, Elena Stankova, Vladimir Korkhov, Carmelo Torre, Ana Maria A.C. Rocha, David Taniar, Bernady O. Apduhan, Eufemia Tarantino (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer networks, Congresses.,Computer science, Congresses.,Computer software, Congresses.,Software engineering, Congresses.,Computer networks.,Computer science.,Computer software.,Software engineering.
Classification :
QA75
.
5
.
I22
2019eb
33. Computer Aided Verification :
Author: Isil Dillig, Serdar Tasiran (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer industry.,Computer logic.,Computer programs-- Verification, Congresses.,Computer science.,Logic design.,Software engineering.,Logic in AI.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Software Engineering.,System Performance and Evaluation.,The Computing Profession.,Artificial intelligence.,Computer industry.,Computer logic.,Computer programs-- Verification.,Computer science.,Logic design.,Software engineering.
Classification :
QA76
.
758
.
C38
2019
34. Computer Safety, Reliability, and Security
Author: \ Floor Koornneef, Coen van Gulijk (eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer security,کامپیوترها, -- Congresses, -- کنگرهها, -- ایمنی اطلاعات,a03,a03,Computer systems -- Reliability -- Congresses,سیستمهای کامپیوتری -- اطمینانپذیری -- کنگره ها
Classification :
QA
76
.
9
.
A25
S34
2015
E-Book
,
35. Computer Safety, Reliability, and Security
Author: \ Floor Koornneef, Coen van Gulijk (eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer security,کامپیوترها, -- Congresses, -- کنگرهها, -- ایمنی اطلاعات,a03,a03,Computer systems -- Reliability -- Congresses,سیستمهای کامپیوتری -- اطمینانپذیری -- کنگره ها
Classification :
QA
76
.
9
.
A25
S3
2015
E-Book
,
36. Computer-aided innovation (CAI)
Author: / edited by Gaetano Cascini.
Library: Library of College of Science University of Tehran (Tehran)
Subject: Computer-aided design -- Congresses, Technological innovations -- Congresses
Classification :
T
185
.
C64
2008
37. Computer aided verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, proceedings. Part I
Author: / edited by Isil Dillig, Serdar Tasiran.
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: Computer programs -- Verification -- Congresses.,Software engineering.,Computer science.,Computer science.,Computer programs.,Software engineering.
38. Computer and information sciences :
Author: Tadeusz Czachórski, Erol Gelenbe, Krzysztof Grochla, Ricardo Lent (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science, Congresses.,Information technology, Congresses.,Artificial Intelligence.,Computer Communication Networks.,Information Systems and Communication Service.,Software Engineering.,System Performance and Evaluation.,Artificial intelligence.,Computer networking & communications.,Computer science.,Computers-- Hardware-- Handheld Devices.,Computers-- Hardware-- Network Hardware.,Computers-- Intelligence (AI) & Semantics.,Computers-- Online Services-- General.,Computers-- Software Development & Engineering-- General.,Information technology.,Network hardware.,Software Engineering.,Systems analysis & design.
Classification :
QA75
.
5
39. Computer information systems--analysis and technologies :
Author: Nabendu Chaki, Agostino Cortesi (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence-- Industrial applications, Congresses,Computer networks, Congresses,Intelligent agents (Computer software), Congresses
Classification :
QA76
.
76
.
I58
I58
2011
40. Computer networks, big data and IoT :
Author: A. Pasumpon Pandian, Xavier Fernando, Syed Mohammed Shamsul Islam, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Big data, Congresses.,Internet of things, Congresses.,Big data.,Internet of things.
Classification :
TK5105
.
8857
.
I58
2020
